-- Test Expressions
    --Test Number
        DEF def():bool == 0
        DEF def():bool == 9999
        DEF def():nat == 0
        DEF def():nat == 9999

    --Test Booleans
        DEF def():bool == true
        DEF def():bool == false
        DEF def():nat == true
        DEF def():nat == false

    -- Test ID
        DEF def():bool == id
        DEF def():nat == id
        DEF def():bool == id()
        DEF def():nat == id()
        DEF def():bool == id(0)
        DEF def():nat == id(1)
        DEF def():bool == id(true)
        DEF def():nat == id(false)
        DEF def():bool == id(10, true)
        DEF def():nat == id(200, false)

    -- Test IF THEN
        DEF def():bool == IF yes THEN no FI
        DEF def():nat == IF yes() THEN no() FI

    -- Test IF THEN ELSE
        DEF def():bool == IF yes THEN no ELSE maybe FI
        DEF def():nat == IF yes(true, false, false) THEN no(11,11,111) ELSE maybe(yes, true) FI


